is-query(In;isupdate;e) == ((e  In)) & (((isupdate(In(e))))) 

latex

Up	abstract chain replication
Wellformedness Lemmas	is-query wf
Definitions	P & Q, e  X, A, b, f(a), X(e)
FDL editor aliases	is-query